Specifying Services with UML and UML-RT: Foundations, Challenges and Limitations
نویسنده
چکیده
The key to systematic development of complex, reactive systems is to have a thorough understanding of the services the system provides. A service, in our view, is defined by the interplay among components required to establish a certain result. Services shift attention from the details of individual components to a global view of the system. We give a formal definition for the notion of service, and discuss to what extent the modeling languages provided by UML and UML-RT support a service-oriented development approach.
منابع مشابه
Towards Precise Service Specification with UML and UML-RT
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. The current trend towards “web services” is just one example of this increase in popularity; others occur in safety-critical systems (such as in the automotive or avionics domain), where precise specification, and correct implementation of requirements are essential. Surprisingly, however,...
متن کاملA CSP View on UML-RT Structure Diagrams
UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level, defining the overall system structure. In this paper we propose to use UML-RT structure diagrams together with the formal method CSP-OZ combining CSP and Object-Z. While CSP-OZ is used for specifying the system components them...
متن کاملSpecifying and Verifying Collaborative Behavior in Component-Based Systems
...............................................................................................ii Research Grants ...................................................................................iii Acknowledgements..................................................................................v CHAPTER 1: INTRODUCTION 1.1 COMPONENT CERTIFICATION WITH REUSE.....................................
متن کاملUML Modelling of Automated Business Processes with a Mapping to BPEL4WS
The Business Process Execution Language for Web Services (BPEL4WS) provides an XML notation and semantics for specifying business process behaviour based on Web Services. A BPEL4WS process is defined in terms of its interactions with partners. A partner may provide services to the process, require services from the process, or participate in a two-way interaction with the process. The Unified M...
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 65 شماره
صفحات -
تاریخ انتشار 2002